261. The (new) Turing omnibus :
پدیدآورنده : A.K. Dewdney.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
رده :
QA76
.
D448
1993
262. Theory and Practice of Parallel Programming :
پدیدآورنده : edited by Takayasu Ito, Akinori Yonezawa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer system failures.,Microprocessors.
رده :
TK7895
.
M5
E358
1995
263. Theory of Finite Automata
پدیدآورنده : \ John Carroll, Darrell Long.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages,زبانهای صوری,a04,a04,Sequential machine theory.,ماشین حالت‌های متناهی
رده :
E-Book
,
264. Theory of automata /
پدیدآورنده : Arto Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages.,Power series.,Sequential machine theory.
رده :
QA267
.
5
.
S4
S3
1969
265. Theory of automata
پدیدآورنده : Salomaa, Arto.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4
.
S3
1969
266. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages ) Electronic computers (
رده :
QA
267
.
5
.
S4
B68
267. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
B68
268. Theory of finite automata
پدیدآورنده : Carroll, John
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4
C35
1989
269. Theory of finite automata :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Sequential machine theory. ;
270. Theory of finite automata : with an introduction to formal languages
پدیدآورنده : / John Carroll, Darrell Long
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Sequential machine theory,Formal language
رده :
QA276
.
5
.
S4C35
1989
271. Theory of finite automata: with an Introduction to formal languages
پدیدآورنده : Joh, Carroll & Darrel, Long
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (طهران)
موضوع : Sequential machine theory
272. Theory of finite automata : with an introduction to formal languages
پدیدآورنده : Carroll, John
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4C35
1989
273. Theory of finite automata : with and introduction to formal languages
پدیدآورنده : Carroll, John
کتابخانه: (طهران)
موضوع : Sequential machine theory , Formal languages
رده :
QA
267
.
5
.
S4
C35
274. Theory of machines and computations; proceedings
پدیدآورنده : Edited by Zvi Kohavi and Azaria Paz
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Switching theory,Congresses ، Numerical calculations
رده :
QA
266
.
I58
1971
275. Theory of machines and computations; proceedings
پدیدآورنده : International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
276. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
پدیدآورنده : edited by Ehud Shapiro.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
277. Trace theory for automatic hierarchical verification of speed-independent circuits
پدیدآورنده : David L. Dill.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Integrated circuits -- Very large scale integration.,Sequential machine theory.,Switching circuits.
رده :
TK7868
.
S9
D385
9999
278. Tree automata and languages
پدیدآورنده : edited by Maurice Nivat, Andreas Podelski
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Trees )Graph theory(,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
T74
1992
279. Trust and reciprocity: interdisciplinary lessons from experimental research
پدیدآورنده : Elinor Ostrom and James Walker, editors
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Social interaction,، Trust,، Cooperativeness,، Social exchange
رده :
HM
1111
.
T78
2003
280. Word processing in groups
پدیدآورنده : Epstein, David B. A.
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Group theory,، Formal languages
رده :
QA
267
.
5
.
S4E6
